(def a (+ a 1))
